$\forall$$w$:World. SQType(E)